The Two Pillars of Linearity
For a transformation $T$ to be considered linear, it must satisfy two strict algebraic conditions for all vectors $v, w$ and all scalars $c$:
- Additivity: $T(v + w) = T(v) + T(w)$. The transformation of a sum is the sum of the transformations.
- Homogeneity: $T(cv) = cT(v)$. Scaling the input scales the output by the exact same factor.
Combining these rules gives us the most powerful identity in linear algebra:
$$T(c_1v_1 + \dots + c_nv_n) = c_1T(v_1) + \dots + c_nT(v_n)$$
This means that a linear transformation $T$ acts on a linear combination of vectors by distributing across the sum and pulling out the scalars.
The Zero Vector Constraint
A critical "litmus test" for linearity is the Origin Test. If a transformation is linear, it must map the zero vector to the zero vector:
$T(\mathbf{0}) = \mathbf{0}$
If a mapping shifts the origin (e.g., $T(v) = v + b$), it is an affine transformation, not a linear one. In the geometry of the plane, linear transformations keep the center fixed; they never "slide" the space.
Recognizing Non-Linearity
Linearity is incredibly fragile. If the rule governing $T$ involves any of the following, it is not linear:
- Squares or higher powers (e.g., $v_1^2$)
- Products of components (e.g., $v_1 v_2$)
- Absolute values or norms (e.g., $||v||$)
- Constant offsets (e.g., $v_1 + 1$)